# major_version = 7 # minor_version = 18 # development_stage = 0x80 (release) # prerelease_version_level = 3 # region_code = 0x0000 (United States) # version_number = 7.1.2 # version_message = 7.1.2, Copyright © 1993-2002, Aladdin Systems, Inc.